Micropolis Interdependency Modeling using Open Hybrid Automata
نویسنده
چکیده
Micropolis is a virtual city that is used for various studies, such as modeling and analyzing water networks. In this paper we model the various interdependencies between three major infrastructures in Micropolis, the power system, the communication network and the water network, in order to study cascades effects between them. Specifically, we develop open hybrid automata models for the main components of the three infrastructures and then composed them together based on their in-
منابع مشابه
Using Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملModeling and Analysis of Switched Buffer Networks using Hybrid Automata
Abstract. In this work we develop a methodology for modeling and analyzing switched buffer networks. Within our modeling framework one can represent the topology of such a network along with bounds on capacities of buffers and communication channels, and controllers that decide when to open and close these channels. This high-level description is then transformed into a product of hybrid automa...
متن کاملModeling Urban Sprawling of Tehran Metropolitan Area Based on PSO
The main goal of the present study was to implement a hybrid pattern of cellular automata model and particle swarm optimization algorithm based on TM and ETM+ imagery of landsat satellite from 1988 to 2010 for simulating the urban sprawling. In this study, an alternative model was implemented in two ways: the first method was based on two images (1988 and 2010) and the second one was based on t...
متن کاملFORMAL VERIFICATION OF CHI MODELS USING PHAVer
The hybrid Chi (χ) language is a formalism for modeling, simulation and verification of hybrid systems. One of the most widely known hybrid system formalisms is that of hybrid automata. The formal translation of χ to hybrid automata enables verification of χ specifications using existing hybrid automata based verification tools. In this paper, we describe the translation from χ to hybrid automa...
متن کاملInclusion dynamics hybrid automata
Hybrid systems are dynamical systems with the ability to describe mixed discretecontinuous evolution of a wide range of systems. Consequently, at first glance, hybrid systems appear powerful but recalcitrant, neither yielding to analysis and reasoning through a purely continuous-time modeling as with systems of differential equations, nor open to inferential processes commonly used for discrete...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1609.09395 شماره
صفحات -
تاریخ انتشار 2016